Distribution-Free Testing Lower Bounds for Basic Boolean Functions

نویسندگان

  • Dana Glasner
  • Rocco A. Servedio
چکیده

In the distribution-free property testing model, the distance between functions is measured with respect to an arbitrary and unknown probability distribution D over the input domain. We consider distribution-free testing of several basic Boolean function classes over {0, 1}, namely monotone conjunctions, general conjunctions, decision lists, and linear threshold functions. We prove that for each of these function classes, Ω((n/ log n)) oracle calls are required for any distribution-free testing algorithm. Since each of these function classes is known to be distribution-free properly learnable (and hence testable) using Θ(n) oracle calls, our lower bounds are within a polynomial factor of the best possible.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Tight Bounds for the Distribution-Free Testing of Monotone Conjunctions

We improve both upper and lower bounds for the distribution-free testing of monotone conjunctions. Given oracle access to an unknown Boolean function f : {0, 1}n →{0, 1} and sampling oracle access to an unknown distribution D over {0, 1}n, we present an Õ(n/ǫ)-query algorithm that tests whether f is a monotone conjunction versus ǫ-far from any monotone conjunction with respect to D. This improv...

متن کامل

Distribution-free Junta Testing

We study the problem of testing whether an unknown n-variable Boolean function is a k-junta in the distribution-free property testing model, where the distance between functions is measured with respect to an arbitrary and unknown probability distribution over {0, 1}n. Our first main result is that distribution-free k-junta testing can be performed, with one-sided error, by an adaptive algorith...

متن کامل

On the Computation Power of Randomized Branching Programs

We survey some upper and lower bounds established recently on the sizes of randomized branching programs computing explicit boolean functions In particular we display boolean functions on which randomized read once ordered branching programs are exponentially more powerful than deterministic or nondeterministic read k times branching programs for any k o n log n We investigate further computati...

متن کامل

Improved Lower Bounds for Testing Triangle-freeness in Boolean Functions via Fast Matrix Multiplication

Understanding the query complexity for testing linear-invariant properties has been a central open problem in the study of algebraic property testing. Triangle-freeness in Boolean functions is a simple property whose testing complexity is unknown. Three Boolean functions f1, f2 and f3 : F2 → {0, 1} are said to be triangle free if there is no x, y ∈ F2 such that f1(x) = f2(y) = f3(x + y) = 1. Th...

متن کامل

On the Computational Power of Randomized Branching Programs

Randomized Branching Programs Marek Karpinskiy Abstract We survey some upper and lower bounds established recently on the sizes of randomized branching programs computing explicit boolean functions. In particular, we display boolean functions on which randomized read-once ordered branching programs are exponentially more powerful than deterministic or nondeterministic read-k-times branching pro...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Theory of Computing

دوره 5  شماره 

صفحات  -

تاریخ انتشار 2007